Algebraic combinatorics in bounded induction

نویسندگان

چکیده

In this paper, new methods for analyzing models of weak subsystems Peano Arithmetic are proposed. The focus will be on the study algebro-combinatoric properties certain definable cuts. Their relationship with segments that satisfy more induction, those limited by standard powers/roots an element, and also sets in Bounded Induction is studied. As a consequence, some considerations Π 1 -interpretability I Δ 0 theories, as well alternative axiomatizations, reviewed. Some results paper obtained immersing its Stone-Cech Compactification, once it endowed topology.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algebraic Combinatorics in Bayreuth

I should like to give a brief introduction of our group, describe its main activities in the field of Algebraic Combinatorics, and illustrate them by a few typical examples.

متن کامل

Algebraic Methods in Combinatorics

1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets of X. Suppose that for every pair of distinct elements in X, there is a unique member of F which contains both elements. Prove that |F| ≥ |X|. Solution: Let X = [n] and F = {A1, . . . , Am}. We need to show that n ≤ m. Define the m × n incidence matrix A over R by ...

متن کامل

Problems in Algebraic Combinatorics

This is a list of open problems, mainly in graph theory and all with an algebraic flavour. Except for 6.1, 7.1 and 12.2 they are either folklore, or are stolen from other people. AMS Classification Number: 05E99

متن کامل

Operads in algebraic combinatorics

The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial informatio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Pure and Applied Logic

سال: 2021

ISSN: ['0168-0072', '1873-2461']

DOI: https://doi.org/10.1016/j.apal.2020.102885